formal language
Số nhiều: formal languages
Từ liên quan
formalismcolloquialismalphabetgrammarsyntaxsemanticslogicsymbolstringautomatonalgorithmcomputationcalculusaxiomtheoremproofderivationrecursioninductionexpressionoperatoroperandvariableconstantpredicatequantifierpropositionsettuplemappingfunctionlanguagelinguisticscompilerparserlexicontokencontextregular expressionpushdown automatonturing machinecomplexitydecidabilitycomputabilitynotationlogic gateboolean algebralambda calculusprogramming languagemarkup languagenonterminalterminalambiguityequivalenceisomorphismmorphismcategory theorydiscrete mathematicsset theorytype theory